Search Results
ICFP Session 4
ICFP Session 4 (Mirror)
ICFP 2020 Session NY 4
ICFP 2020 Session Asia 4
04 Session Types for Rust
[ICFP'24] Green - ICFP Papers and Events (Sep 4th)
Merlin - A Language Server for OCaml
[ICFP'23] Intrinsically Typed Sessions with Callbacks (Functional Pearl)
[ICFP'23] A General Fine-Grained Reduction Theory for Effect Handlers
WED Pattaya 10 Session 4
DEVELOPING A SUCCESSFUL ADVOCACY ABSTRACT FOR ICFP ENG
DEVELOPING A SUCCESSFUL PROGRAM IMPLEMENTATION ABSTRACT FOR ICFP ENG
![[ICFP'23] Intrinsically Typed Sessions with Callbacks (Functional Pearl)](https://img.youtube.com/vi/Fy0AMXipmTo/hqdefault.jpg)
![[ICFP'24] Green - ICFP Papers and Events (Sep 4th)](https://img.youtube.com/vi/F70QZaMoYJQ/hqdefault.jpg)
![[ICFP'23] A General Fine-Grained Reduction Theory for Effect Handlers](https://img.youtube.com/vi/BTnJWji6yuE/hqdefault.jpg)
